csupdate{-}from($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_sys\_ind($x$;${\it cmd}$.$\cdot$;${\it from}$,${\it cmds}$.${\it from}$)